How to migrate from MySQL to MariaDB on Linux CentOS